logical statement predicate

逻辑陈述谓词